Trait isotope::term::HasDependencies[][src]

pub trait HasDependencies {
    fn has_var_dep(&self, ix: u32, equiv: bool) -> bool;
fn has_dep_below(&self, ix: u32, base: u32) -> bool;
fn get_filter(&self) -> VarFilter; fn fvb(&self) -> u32 { ... } }
Expand description

Objects which have value dependencies

Required methods

Whether this term depends on a variable with a given index: if equiv is true, also consider larger variables in the same equivalence class

Get whether a term depends on a variable base <= variable <= ix

Unlike has_var_dep, ignores annotations

Get the variable filter of this term

Provided methods

Get the free variable bound of this term

Implementations on Foreign Types

Implementors